Generating Inputs for Grammar Mining using Dynamic Symbolic Execution
arxiv.org·5h
🦀Rust Macros
NeuralMorse – Reinventing Morse Code with Neural Networks
masatohagiwara.net·1d·
Discuss: Hacker News
📝Text Compression
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
DTPA: Dynamic Token-level Prefix Augmentation for Controllable Text Generation
arxiv.org·5h
📝Concrete Syntax
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·16h·
Discuss: Hacker News
💻Programming languages
Thinking Clearly with LLMs: Mental Models and Cognitive Pitfalls in Prompt Engineering
dev.to·16h·
Discuss: DEV
⚡Proof Automation
Fine-tuning with GPT-OSS and Hugging Face Transformers
cookbook.openai.com·1d·
Discuss: Hacker News
📝ABNF Parsing
What you see may not be what you get
thoughtbot.com·1d
🔣Unicode
Hierarchical Verification of Speculative Beams for Accelerating LLM Inference
arxiv.org·5h
💻Local LLMs
Eliciting and Analyzing Emergent Misalignment in State-of-the-Art Large Language Models
arxiv.org·5h
🤖Grammar Induction
Three challenges in machine-based reasoning
amazon.science·1d·
Discuss: Hacker News
🧮Theorem Proving
Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following
arxiv.org·1d
📏Linear Logic
Building and Aligning Comparable Corpora
arxiv.org·2d
📜Digital Philology
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·1d
✨Effect Handlers
We beat GPT-4o's baseline with a simple re-prompting loop
aimon.ai·1d·
Discuss: Hacker News
🌳Incremental Parsing
Dual Prompt Learning for Adapting Vision-Language Models to Downstream Image-Text Retrieval
arxiv.org·5h
🤖Advanced OCR
GTPO: Trajectory-Based Policy Optimization in Large Language Models
arxiv.org·5h
💻Programming languages
Automated Generation of Curriculum-Aligned Multiple-Choice Questions for Malaysian Secondary Mathematics Using Generative AI
arxiv.org·5h
🤖Automated Parsing
Coherent Multimodal Reasoning with Iterative Self-Evaluation for Vision-Language Models
arxiv.org·1d
📊Learned Metrics
CAP-LLM: Context-Augmented Personalized Large Language Models for News Headline Generation
arxiv.org·5h
📝Text Parsing